More from this Author

Artificial Intelligence and Symbolic Computation

by Jacques Fleuriot (Editor), Dongming Wang (Editor), Jacques Calmet (Editor)

Automated Deduction in Geometry

by Xiao-Shan Gao (Editor), Dongming Wang (Editor), Lu Yang (Editor)

Automated Deduction in Geometry

by Jürgen Richter-Gebert (Editor), Dongming Wang (Editor)

Computer Mathematics

by Xiao-Shan Gao (Editor), Dongming Wang (Editor)

Automated Deduction in Geometry

by Hoon Hong (Editor), Stefano Spaccapietra (Volume Editor), Dongming Wang (Editor)